(0 4 1)(2 19 17)(3 9 6)(5 14 12)(7 20 13)(8 15 10)(11 18 16)
ALLOWS (11/8)-SEQUENCE
1: (7 13 20)
(0 4 1)(2 19 17)(3 9 6)(5 14 12)(7 13 20)(8 15 10)(11 18 16)
2: (5 14 12)
(0 4 1)(2 19 17)(3 9 6)(5)(7 13 20)(8 15 10)(11 18 16)(12)(14)
3: (7 13 20)
(0 4 1)(2 19 17)(3 9 6)(5)(7)(8 15 10)(11 18 16)(12)(13)(14)(20)
4: (3 9 6)
(0 4 1)(2 19 17)(3)(5)(6)(7)(8 15 10)(9)(11 18 16)(12)(13)(14)(20)